Fedcsis'23 Keynote - Marta Kwiatkowska

FedCSIS'23 Keynote - Marta Kwiatkowska

PTI - Polskie Towarzystwo Informatyczne

FedCSIS'23 Keynote - Roman Słowiński

PTI - Polskie Towarzystwo Informatyczne

When to trust a robot? - Interview with Marta Kwiatkowska, University of Oxford

Professor Marta Kwiatkowska: "When to trust a self-driving car..."

UCL Artificial Intelligence Society

Marta Kwiatkowska – Safety and robustness for deep learning with provable guarantees

"Safety Verification of Deep Neural Networks" Marta Kwiatkowska | CAV 2017

Conference on Computer-Aided Verification

SecML18: Marta Kwiatkowska on Safety verification for neural networks with provable guarantees

Nicolas Papernot

Prof. Marta Kwiatkowska - Sensing Everywhere: on Quantitative Verification for Ubiquitous Computing

The University of Edinburgh

Marta Kwiatkowska: Provable guarantees on robustness of Bayesian networks to causal interventions

Imprecise Probabilities Channel of SIPTA